Semantically Enhanced Conflict Detection between Model Versions in SMoVer by Example
نویسندگان
چکیده
For widespread success of the model-driven paradigm, appropriate tools such as Version Control Systems allowing for consistency maintenance between concurrently edited model versions are required to adequately support a model-based development process. Initial attempts for graph-based versioning of model artifacts, however, perform conflict detection mainly on basis of the models’ syntax without exploiting the models’ semantics, are limited to specific modeling languages or are only able to compute a portion of potential semantic conflicts. In this paper, a flexible approach for semantically enhanced conflict detection is presented. By this approach, certain aspects of a modeling language’s semantics, which are important for the conflict detection process, are explicated on the basis of view definitions, namely equivalent concepts, static semantics and behavioral semantics. It is shown how view definitions can be established for those three semantic aspects by means of Web Services Business Process Execution Language (WSBPEL) examples. Additionally it is demonstrated that the proposed conflict detection process allows fine-tuning of the conflicts reported and an increase in effectiveness by reducing falsely indicated syntactic conflicts and by detecting undiscovered semantic conflicts.
منابع مشابه
Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example
In collaborative software development, the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifacts emerged. Pessimistic approaches follow the lock-edit-unlock paradigm whereas optimistic approaches allow parallel editing of one resource, which are therefore the preferred ones. To be flexible for the ever increa...
متن کاملModels in Conflict - A Semantically Enhanced Version Control System for Models
For a widespread success of the model-driven paradigm, appropriate tools such as “Version Control Systems” (VCS) are required to adequately support a model-based development process. First attempts to model-based versioning, however, perform conflict detection mainly on basis of a syntactic representation of models without exploiting their semantics. Consequently, in this paper the approach tow...
متن کاملDetecting Semantic Equivalence in UML Class Diagrams
When developing a system in Model-driven Engineering (MDE), developers change the same diagram in parallel. These changes generate different versions that may conflict. Conflicts can be syntactic, related to the structure of the diagram, or semantic, related to the meaning of the diagram. The detection of semantic conflicts in diagrams should take into consideration both the syntax and semantic...
متن کاملSemantics for Accurate Con ict Detection in SMoVer : Speci cation , Detection and Presentation by Example
متن کامل
Towards Accurate Conflict Detection in a VCS for Model Artifacts: A Comparison of Two Semantically Enhanced Approaches
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerged. Optimistic approaches, which are nowadays the designated ones, allow parallel editing of one resource and therefore changes can result in conflicts and inconsistencies. To be flexible for the ever increasing variety...
متن کامل